dans le corps des ingénieurs des mines

admise à faire valoir ses droits à la retraite

ingénieure générale des mines, placée en service détaché

dans le grade d'ingénieur général des mines